$\forall$$A$, $B$, $C$:Type, $f$:($B$$\rightarrow$$C$). strong{-}subtype($A$;$B$) $\Rightarrow$ Inj($B$;$C$;$f$) $\Rightarrow$ Inj($A$;$C$;$f$)